منابع مشابه
A Certified Decision Procedure for Tree Shares
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission model of Dockins et al. Fractional permissions can reason about shared ownership of resources, e.g. in a concurrent program. We imported our certified procedure into the HIP/SLEEK verification system and found bugs in both the previous, uncertified, decision procedure a...
متن کاملThe Impact of Mandatory Policies on ETD Acquisition
This paper analyzes the data now available in Australia’s coordinated Electronic Theses and Dissertations gateway to show the impact of high-level institutional policy decisions on population of the individual repositories. The paper shows that just like research article repositories, voluntary ETD deposition results in repositories collecting only about 15% of the available theses, whereas man...
متن کاملConvertible Preferred Shares Not Term Preferred Shares
The Federal Court of Appeal recently rendered its judgment in Citibank15 and affirmed the Tax Court of Canada’s earlier decision.16 The issue in Citibank was whether certain shares constituted “term preferred shares,” as defined in subsection 248(1) of the Act. Where a specified financial institution (SFI) acquires term preferred shares in the ordinary course of business, subsection 112(2.1) of...
متن کاملacquisition of english determinative descriptions by persian efl learners
abstract since heubners (1985) pioneering study, there have been many studies on (mis) use/ non-use of articles by l2 learners from article-less and article languages. the present study investigated how persian l2 learners of english produce and interpret english definite descriptions and demonstrative descriptions. it was assumed that definite and demonstrative descriptions share the same cen...
second language acquisition of telicity and aspect by persian learners of english
این تحقیق از دو قسمت اصلی تشکیل شده است: در قسمت اول فراگیری ختمیت به ویژه درک و تولید اینگونه جملات توسط فراگیران ایرانی زبان انگلیسی مورد بررسی قرار گرفته است. قضاوت تعدادی انگلیسی زبان بر روی این جملات نیز هدفی دیگر بود که در این رساله بررسی شده است. از موضوعات دیگر تفاوت بین نشانه های ختمیت در زبان انگلیسی و فارسی و تاثیر زبان اول فراگیران در درک و تولید اینگونه جملات است. در قسمت دوم استفا...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zbornik radova Pravnog fakulteta, Novi Sad
سال: 2016
ISSN: 0550-2179,2406-1255
DOI: 10.5937/zrpfns50-11731